ar X iv : q ua nt - p h / 03 12 00 3 v 1 2 9 N ov 2 00 3 An Algorithmic Argument for Query Complexity Lower
نویسندگان
چکیده
This paper proves lower bounds of the quantum query complexity of a multiple-block ordered search problem, which is a natural generalization of the ordered search problems. Apart from much studied polynomial and adversary methods for quantum query complexity lower bounds, our proof employs an argument that (i) commences with the faulty assumption that a quantum algorithm of low query complexity exists, (ii) select any incompressible input, and (iii) constructs another algorithm that compresses the input, which leads to a contradiction. Using this “algorithmic” argument, we show that the multi-block ordered search needs a large number of nonadaptive oracle queries on a black-box model of quantum computation supplemented by advice. This main theorem can be applied directly to two important notions in structural complexity theory: nonadaptive (truth-table) reducibility and autoreducibility. In particular, we prove: 1) there is an oracle A relative to which there is a set in P which is not quantumly nonadaptively reducible to A in polynomial time even with polynomial advice, 2) there is a polynomial-time adaptively probabilistically-autoreducible set which is not polynomial-time nonadaptively quantum-autoreducible even with any help of polynomial advice, and 3) there is a set in ESPACE which is not polynomial-time nonadaptively quantum-autoreducible in polynomial time even in the presence of polynomial advice. For the single-block ordered search problem, our algorithmic argument also shows a large lower bound of the quantum query complexity in the presence of advice.
منابع مشابه
ar X iv : q ua nt - p h / 04 11 17 2 v 1 2 3 N ov 2 00 4 Information and Entropy in Quantum Theory
متن کامل
ar X iv : q ua nt - p h / 99 09 01 2 v 3 1 N ov 2 00 2 Analysis of Quantum Functions ∗
Quantum functions are functions that can be computed by means of quantum mechanical device. This paper investigates quantum functions that take classical bit inputs. We explore basic properties and close relationships among these quantum functions. We also discuss quantum functions that make adaptive and nonadaptive (or parallel) oracle queries. key words: quantum Turing machine, nonadaptive qu...
متن کاملar X iv : q ua nt - p h / 03 10 05 9 v 3 3 0 O ct 2 00 3 Dispersion Relations and Relativistic Causality
In this paper we show that if the refractive index, or rather, [n(ω) − 1] satisfies the dispersion relations then, it is implied by Titchmarsh's theorem that, n(ω) → 1 as ω → ∞. Any other limiting value for n(ω) would violate relativistic causality, by which we mean not only that cause must precede effect but also that signals cannot travel faster–than–c, the velocity of light in a vacuum.
متن کاملar X iv : q ua nt - p h / 03 10 05 9 v 2 1 0 O ct 2 00 3 Dispersion Relations and Relativistic Causality
In this paper we show that if the refractive index, or rather, [n(ω) − 1] satisfies the dispersion relations then, it is implied by Titchmarsh's theorem that, n(ω) → 1 as ω → ∞. Any other limiting value for n(ω) would violate relativistic causality, by which we mean not only that cause must precede effect but also that signals cannot travel faster–than–c, the velocity of light in a vacuum.
متن کاملar X iv : q ua nt - p h / 03 10 05 9 v 1 9 O ct 2 00 3 Dispersion Relations and Relativistic Causality
In this paper we show that if the refractive index, or rather, [n(ω) − 1] satisfies the dispersion relations then, it is implied by Titchmarsh's theorem that, n(ω) → 1 as ω → ∞. Any other limiting value for n(ω) would violate relativistic causality, by which we mean not only that cause must precede effect but also that signals cannot travel faster–than–c, the velocity of light in a vacuum.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003